Cabal-syntax-3.13.0.0: A library for working with .cabal files
Safe HaskellSafe-Inferred
LanguageHaskell2010

Distribution.CabalSpecVersion

Synopsis

Documentation

data CabalSpecVersion Source #

Different Cabal-the-spec versions.

We branch based on this at least in the parser.

Constructors

CabalSpecV1_0

this is older than CabalSpecV1_2

CabalSpecV1_2

new syntax (sections)

CabalSpecV1_4 
CabalSpecV1_6 
CabalSpecV1_8 
CabalSpecV1_10 
CabalSpecV1_12 
CabalSpecV1_18 
CabalSpecV1_20 
CabalSpecV1_22 
CabalSpecV1_24 
CabalSpecV2_0 
CabalSpecV2_2 
CabalSpecV2_4 
CabalSpecV3_0 
CabalSpecV3_4 
CabalSpecV3_6 
CabalSpecV3_8 
CabalSpecV3_12 
CabalSpecV3_14 

Instances

Instances details
Structured CabalSpecVersion Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Methods

structure :: Proxy CabalSpecVersion -> Structure Source #

structureHash' :: Tagged CabalSpecVersion MD5

Data CabalSpecVersion Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CabalSpecVersion -> c CabalSpecVersion

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CabalSpecVersion

toConstr :: CabalSpecVersion -> Constr

dataTypeOf :: CabalSpecVersion -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CabalSpecVersion)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CabalSpecVersion)

gmapT :: (forall b. Data b => b -> b) -> CabalSpecVersion -> CabalSpecVersion

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CabalSpecVersion -> r

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CabalSpecVersion -> r

gmapQ :: (forall d. Data d => d -> u) -> CabalSpecVersion -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> CabalSpecVersion -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CabalSpecVersion -> m CabalSpecVersion

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CabalSpecVersion -> m CabalSpecVersion

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CabalSpecVersion -> m CabalSpecVersion

Bounded CabalSpecVersion Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Methods

minBound :: CabalSpecVersion #

maxBound :: CabalSpecVersion #

Enum CabalSpecVersion Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Methods

succ :: CabalSpecVersion -> CabalSpecVersion #

pred :: CabalSpecVersion -> CabalSpecVersion #

toEnum :: Int -> CabalSpecVersion #

fromEnum :: CabalSpecVersion -> Int #

enumFrom :: CabalSpecVersion -> [CabalSpecVersion] #

enumFromThen :: CabalSpecVersion -> CabalSpecVersion -> [CabalSpecVersion] #

enumFromTo :: CabalSpecVersion -> CabalSpecVersion -> [CabalSpecVersion] #

enumFromThenTo :: CabalSpecVersion -> CabalSpecVersion -> CabalSpecVersion -> [CabalSpecVersion] #

Generic CabalSpecVersion Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Associated Types

type Rep CabalSpecVersion :: Type -> Type

Methods

from :: CabalSpecVersion -> Rep CabalSpecVersion x

to :: Rep CabalSpecVersion x -> CabalSpecVersion

Read CabalSpecVersion Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Methods

readsPrec :: Int -> ReadS CabalSpecVersion #

readList :: ReadS [CabalSpecVersion] #

readPrec :: ReadPrec CabalSpecVersion

readListPrec :: ReadPrec [CabalSpecVersion]

Show CabalSpecVersion Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Methods

showsPrec :: Int -> CabalSpecVersion -> ShowS #

show :: CabalSpecVersion -> String #

showList :: [CabalSpecVersion] -> ShowS #

Binary CabalSpecVersion Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Methods

put :: CabalSpecVersion -> Put #

get :: Get CabalSpecVersion #

putList :: [CabalSpecVersion] -> Put #

NFData CabalSpecVersion Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Methods

rnf :: CabalSpecVersion -> () #

Eq CabalSpecVersion Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Methods

(==) :: CabalSpecVersion -> CabalSpecVersion -> Bool #

(/=) :: CabalSpecVersion -> CabalSpecVersion -> Bool #

Ord CabalSpecVersion Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Methods

compare :: CabalSpecVersion -> CabalSpecVersion -> Ordering #

(<) :: CabalSpecVersion -> CabalSpecVersion -> Bool #

(<=) :: CabalSpecVersion -> CabalSpecVersion -> Bool #

(>) :: CabalSpecVersion -> CabalSpecVersion -> Bool #

(>=) :: CabalSpecVersion -> CabalSpecVersion -> Bool #

max :: CabalSpecVersion -> CabalSpecVersion -> CabalSpecVersion #

min :: CabalSpecVersion -> CabalSpecVersion -> CabalSpecVersion #

Newtype CabalSpecVersion SpecVersion Source # 
Instance details

Defined in Distribution.FieldGrammar.Newtypes

Methods

pack :: CabalSpecVersion -> SpecVersion Source #

unpack :: SpecVersion -> CabalSpecVersion Source #

type Rep CabalSpecVersion Source # 
Instance details

Defined in Distribution.CabalSpecVersion

type Rep CabalSpecVersion = D1 ('MetaData "CabalSpecVersion" "Distribution.CabalSpecVersion" "Cabal-syntax-3.13.0.0-inplace" 'False) ((((C1 ('MetaCons "CabalSpecV1_0" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CabalSpecV1_2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CabalSpecV1_4" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CabalSpecV1_6" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CabalSpecV1_8" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CabalSpecV1_10" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CabalSpecV1_12" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CabalSpecV1_18" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CabalSpecV1_20" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CabalSpecV1_22" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CabalSpecV1_24" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CabalSpecV2_0" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CabalSpecV2_2" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CabalSpecV2_4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CabalSpecV3_0" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "CabalSpecV3_4" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CabalSpecV3_6" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "CabalSpecV3_8" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CabalSpecV3_12" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CabalSpecV3_14" 'PrefixI 'False) (U1 :: Type -> Type))))))

showCabalSpecVersion :: CabalSpecVersion -> String Source #

Show cabal spec version, but not the way in the .cabal files

Since: 3.0.0.0

cabalSpecLatest :: CabalSpecVersion Source #

cabalSpecFromVersionDigits :: [Int] -> Maybe CabalSpecVersion Source #

Parse CabalSpecVersion from version digits.

It may fail if for recent versions the version is not exact.

cabalSpecToVersionDigits :: CabalSpecVersion -> [Int] Source #

Since: 3.4.0.0

cabalSpecMinimumLibraryVersion :: CabalSpecVersion -> [Int] Source #

What is the minimum Cabal library version which knows how handle this spec version.

Note: this is a point where we could decouple cabal-spec and Cabal versions, if we ever want that.

>>> cabalSpecMinimumLibraryVersion CabalSpecV3_0
[2,5]

>>> cabalSpecMinimumLibraryVersion CabalSpecV2_4
[2,3]

Since: 3.4.0.0

specHasCommonStanzas :: CabalSpecVersion -> HasCommonStanzas Source #

specHasElif :: CabalSpecVersion -> HasElif Source #

data HasElif Source #

Constructors

HasElif 
NoElif 

Instances

Instances details
Show HasElif Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Methods

showsPrec :: Int -> HasElif -> ShowS #

show :: HasElif -> String #

showList :: [HasElif] -> ShowS #

Eq HasElif Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Methods

(==) :: HasElif -> HasElif -> Bool #

(/=) :: HasElif -> HasElif -> Bool #

data HasCommonStanzas Source #

Constructors

HasCommonStanzas 
NoCommonStanzas 

Instances

Instances details
Show HasCommonStanzas Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Methods

showsPrec :: Int -> HasCommonStanzas -> ShowS #

show :: HasCommonStanzas -> String #

showList :: [HasCommonStanzas] -> ShowS #

Eq HasCommonStanzas Source # 
Instance details

Defined in Distribution.CabalSpecVersion

Methods

(==) :: HasCommonStanzas -> HasCommonStanzas -> Bool #

(/=) :: HasCommonStanzas -> HasCommonStanzas -> Bool #

data HasGlobstar Source #

Constructors

HasGlobstar 
NoGlobstar